A Theory of May Testing for Actors
نویسندگان
چکیده
The Actor model and π-calculus have served as the basis of a large body of research on concurrency. We represent the Actor model as a typed asynchronous π-calculus, called Aπ. The type system imposes a certain discipline on the use of names to capture actor properties such as uniqueness and persistence. We investigate the notion of may testing in Aπ and give a trace based characterization of it. Such a characterization simplifies reasoning about actor configurations as it does not involve quantification over all environments. We compare our characterization with that of asynchronous π-calculus, and highlight the differences that arise due to actor properties.
منابع مشابه
From Mid-Level Policy Analysis to Macro-Level Political Economy; Comment on “Developing a Framework for a Program Theory-Based Approach to Evaluating Policy Processes and Outcomes: Health in All Policies in South Australia”
This latest contribution by the evaluation research team at Flinders University/Southgate Institute on their multiyear study of South Australia’s Health in All Policies (HiAP) initiative is simultaneously frustrating, exemplary, and partial. It is frustrating because it does not yet reveal the extent to which the initiative achieved its stated outcomes; that awaits further papers. It is exempla...
متن کاملExplaining the Role of Management Accounting Information System in Strategy Formulation with Actors Network Approach
The real challenge of business environment is derived from a situation where organizations need to find opportunities on how to introduce ideas and new products to market that provide future earnings stream. Management accounting is used as a tool in this process and provides information on opportunities and threats. The purpose of this research is to explain the role of management accounting i...
متن کاملInvestigation of energy literacy among housing construction actors
Today, environmental issues have become very important. One of these issues is related to energy consumption in residential buildings. Excessive energy consumption has led to climate change, global warming, climate pollution, and energy shortages. Tehran, as a large metropolis with a high population, is not safe from the damage of high energy consumption in buildings. The purpose of this study ...
متن کاملInvestigation of energy literacy among housing construction actors
Today, environmental issues have become very important. One of these issues is related to energy consumption in residential buildings. Excessive energy consumption has led to climate change, global warming, climate pollution, and energy shortages. Tehran, as a large metropolis with a high population, is not safe from the damage of high energy consumption in buildings. The purpose of this study ...
متن کاملOptimal Strategy of State Lands allocation in Islamic Economics: Game Theory Approach
In the Islamic legal and economic system, a precise mechanism for land use is defined. The classification of lands, along with the flexible methods available to the government for the allocation of land, raises the question of what is the most desirable method for state lands allocation based on the Islamic legal and economic system? Accordingly, the purpose of the present study is to find a fa...
متن کاملThe Impact of Intra-Network Communications of Actors on Financial Reporting Quality by Structural Equations Technique
Actor-network theory, which is considered as a development of socio-technical structuralism school, observes reservation and stability of networks containing personal and impersonal components such as individuals, organizations, communication software and hardware, and infrastructural standards by examination of socio-technical dimensions concurrently.The goal of this research is studying the i...
متن کامل